type A = typeof (B)
